val init_vars : (string * Ast.mptype) list -> unit
val new_localscope : (string * Gen.temp_t) list -> unit
val query_var : string -> Icode.iexpr

val init_funs : (string * Frame.frame_t) list -> unit
val query_fun : string -> Frame.frame_t

